Edward A. Lee
Program Committees:
2002,
2003,
2004,
2005,
2009,
2010,
2011,
2012,
2013,
2015,
2018,
2019, and
2021 .
EMSOFT 2025: 25th International Conference on Embedded Software
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
Shaokai Lin,
Erling Jellum,
Mirco Theile,
Tassilo Tanneberger,
Binqi Sun,
Chadlia Jerad,
Ruomu Xu,
Guangyu Feng,
Magnus Mæhlum,
Martin Schoeberl,
Linh Thi Xuan Phan,
Jeronimo Castrillon,
Sanjit A. Seshia, and
Edward A. Lee
EMSOFT 2023: 23rd International Conference on Embedded Software
Consistency vs. Availability in Distributed Cyber-Physical Systems
Towards Building Verifiable CPS using Lingua Franca
EMSOFT 2015: 15th International Conference on Embedded Software
Modeling and Simulating Cyber-Physical Systems using CyPhySim
EMSOFT 2013: 13th International Conference on Embedded Software
StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs using High-Level Abstractions
On the Schedulability of Real-Time Discrete-Event Systems
Determinate Composition of Fmus for Co-Simulation
EMSOFT 2011: 11th International Conference on Embedded Software
A Practical Ontology Framework for Static Model Analysis
Heterogeneous Actor Modeling
EMSOFT 2010: 10th International Conference on Embedded Software
Model-Based Specification of Timing Requirements
Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems
EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software
A Causality Interface for Deadlock Analysis in Dataflow
EMSOFT 2001: 1st International Workshop on Embedded Software
System-Level Types for Component-Based Design